XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·7h·
Discuss: Hacker News
📐Interval Arithmetic
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·1h·
Discuss: DEV
✨Algebraic Effects
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·1d
🛡️Error Boundaries
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·32m·
Discuss: Hacker News
🧮SMT Solvers
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·15h·
Discuss: Hacker News
💻Local LLMs
DanielSant0s/AthenaEnv
github.com·4h
📺VT100 Emulation
On This Day in Math - October 5
pballew.blogspot.com·35m·
Discuss: www.blogger.com
📜Manuscript Algebras
Fun with HyperLogLog and SIMD
vaktibabat.github.io·18h·
Discuss: Hacker News, r/rust
📊HyperLogLog
🚀 Shape Detective Challenge: Making Number Writing Too Fun to Resist! 🎨🔢
guidedmath.wordpress.com·15h
📐Mathematical Art
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·3h·
Discuss: DEV
📋Format Specification
Tiger Style Coding Philosophy
tigerstyle.dev·3d·
Discuss: Hacker News
🔩Systems Programming
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·20h·
Discuss: Hacker News, r/LLM
λLambda Encodings
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
Quantifying Piece Activity
lichess.org·4h·
Discuss: Hacker News
🔲Cellular Automata
Algorithm Showdown: Logistic Regression vs. Random Forest vs. XGBoost on Imbalanced Data
machinelearningmastery.com·1d
🧠Machine Learning
Title: Simplifying Code Execution on Multiple Integer Variables
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
News for September 2025
ptreview.sublinear.info·19h
🧪Property-Based Testing
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·7h·
Discuss: Hacker News
🎯Interactive Provers
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
Simple LLM VRAM calculator for model inference
bestgpusforai.com·1d·
Discuss: Hacker News
💻Local LLMs